Benchmark Analysis with FaCT
نویسنده
چکیده
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reasoners, one for the logic SHF and the other for the logic SHIQ, both of which use optimised implementations of sound and complete tableaux algorithms. FaCT’s most interesting features are its expressive logic (in particular the SHIQ reasoner), its optimised tableaux implementation (which has now become the standard for DL systems), and its CORBA based client-server architecture.
منابع مشابه
RANKING DMUS ON THE BENCHMARK LINE WITH EQUAL SHADOW PRICES
Data envelopment analysis (DEA) with considering the best condition for each decision making unit (DMU) assesses the relative efficiency for it and divides a homogenous group of DMUs in to two categories: efficient and inefficient, but traditional DEA models can not rank efficient DMUs. Although some models were introduced for ranking efficient DMUs, Franklin Lio & Hsuan peng (2008), proposed a...
متن کاملA Dynamic Analysis of Market Efficiency on Benchmark Crude oil markets: Based on the Adaptive Market Hypothesis
This paper examines the applicability of the adaptive market hypothesis (AMH) as an evolutionary alternative to the efficient market hypothesis (EMH) by studying daily returns on the three benchmark crude oils. The data coverage of daily returns is from January 2th 2003 to March 5th 2018. In this paper, two different tests in the form of two distinguished classes (linear and nonlinear) have bee...
متن کاملFinding a suitable benchmark for commercial bank branches using DEA
This paper proposes a suitable benchmark for inefficient commercial bank branches by using Data Envelopment Analysis (DEA). In order to render an inefficient bank branch efficient, it is necessary to decrease inputs and increase outputs. As there are priorities for decreasing some certain inputs and increasing some certain outputs over other inputs and outputs, respectively, it is necessary ...
متن کاملA novel hybrid meta-heuristic technique applied to the well-known benchmark optimization problems
In this paper, a hybrid meta-heuristic algorithm, based on imperialistic competition algorithm (ICA), harmony search (HS), and simulated annealing (SA) is presented. The body of the proposed hybrid algorithm is based on ICA. The proposed hybrid algorithm inherits the advantages of the process of harmony creation in HS algorithm to improve the exploitation phase of the ICA algorithm. In addition...
متن کاملBenchmark Forecasting in Data Envelopment Analysis for Decision Making Units
Although DEA is a powerful method in evaluating DMUs, it does have some limitations. One of the limitations of this method is the result of the evaluation is based on previously data and the results are not proper for forecasting the future changes. So For this purpose, we design feedback loops for forecasting inputs and outputs through system dynamics and simulation. Then we use DEA model to f...
متن کامل